Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models
نویسندگان
چکیده
The scope of this paper is collaborative, distributed safety critical systems which build up a larger scale system of systems (SoS). Systems in this context are independently designed and can operate autonomously following both global SoS goals and individual goals. A major aspect of SoSs is the evolution over time, i.e. the change of its architecture as a result of changes in the context of the SoS or the changes of individual or global goals. The aim of this paper is to define a modeling concept for evolution specifying all possible changes of the SoS over time. This evolution model is used to generate and analyze future architectures enabling the prediction of future violations of static specifications. We derive so called dynamicity contracts and restrict the evolution model in such a manner, that false architectures are not reached.
منابع مشابه
A Refinement Checking Technique for Contract-Based Architecture Designs
During the development of software intensive systems, typically several models of this system are designed. These various models represent the system structured by different concerns, e. g. abstraction. While these approaches help to cope with complexity, the need of relating the models to one another arises. A major task is to keep model specifications consistent and traceable through special ...
متن کاملRisk Management in Oil Market: A Comparison between Multivariate GARCH Models and Copula-based Models
H igh price volatility and the risk are the main features of commodity markets. One way to reduce this risk is to apply the hedging policy by future contracts. In this regard, in this paper, we will calculate the optimal hedging ratios for OPEC oil. In this study, besides the multivariate GARCH models, for the first time we use conditional copula models for modelling dependence struc...
متن کاملConceptual and numerical models of the evolution of pedogenic carbonates in soils of arid and semi-arid regions: A review
Introduction Calcareous soils are widely distributed in arid and semi-arid regions of the world and the presence of carbonates in the soils affects both physicochemical properties and the pedogenic evolution. In addition, soil carbon plays a critical role in the global carbon cycle, and pedogenic carbonates are an important sink for atmospheric carbon. Pedogenic carbonates are also the proxy o...
متن کاملExecutive Summary: Software Evolution in Componentware – A Practical Approach
Industrial software projects are not based on a top-down development process relying on refinement but use an evolutionary approach. In this paper, we present the basic concepts of a suitable overall componentware methodology with respect to software evolution. We clarify the difference between refinement steps and evolution steps in an documentbased development process. Based on this, we intro...
متن کاملConception et vérification d ’ exigences de sûreté temporisées à base de contrats dans les modèles SysML Contract - based Modeling and Verification of Timed Safety Requirements for System
Nowadays computer systems grow larger in size and more complex. Embedded in devices from different domains like avionics, aeronautics, consumer electronics, etc., they are often considered critical with respect to human life, costs and environment. A development that results in safe and reliable critical real-time embedded systems is a challenging task, considering that errors are accidentally ...
متن کامل